Eli Singerman: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Computation paths logic: An expressive, yet elementary, process logic

David Harel, Eli Singerman

Journal:

Annals of Pure and Applied Logic

Year:

1999

Language:

english

File:

PDF, 1.29 MB

english, 1999

2

GSTE is partitioned model checking

Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi

Journal:

Formal Methods in System Design

Year:

2007

Language:

english

File:

PDF, 618 KB

english, 2007

3

More on Nonregular PDL: Finite Models and Fibonacci-like Programs

David Harel, Eli Singerman

Journal:

Information and Computation

Year:

1996

Language:

english

File:

PDF, 450 KB

english, 1996

4

[IEEE 2008 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR, USA (2008.11.17-2008.11.20)] 2008 Formal Methods in Computer-Aided Design - A Temporal Language for SystemC

Tabakov, Deian, Kamhi, Gila, Vardi, Moshe Y., Singerman, Eli

Year:

2008

Language:

english

File:

PDF, 162 KB

english, 2008

5

[IEEE Seventh International Workshop on Microprocessor Test and Verification (MTV'06) - Austin, TX, USA (2006.12.4-2006.12.5)] Seventh International Workshop on Microprocessor Test and Verification (MTV'06) - Embedded Software Validation: Applying Formal Techniques for Coverage and Test Generation

Arons, Tamarah, Elster, Elad, Murphy, Terry, Singerman, Eli

Year:

2006

Language:

english

File:

PDF, 265 KB

english, 2006

6

[IEEE 2008 Design, Automation and Test in Europe - Munich, Germany (2008.03.10-2008.03.14)] 2008 Design, Automation and Test in Europe - Efficient Symbolic Simulation of Low Level Software

Arons, Tamarah, Elster, Elad, Ozer, Shlomit, Shalev, Jonathan, Singerman, Eli

Year:

2008

Language:

english

File:

PDF, 178 KB

english, 2008

7

[IEEE Formal Methods in Computer Aided Design (FMCAD'07) - Austin, TX, USA (2007.11.11-2007.11.14)] Formal Methods in Computer Aided Design (FMCAD'07) - Case study: Integrating FV and DV in the Verification of the Intel® Core^{TM} 2 Duo Microprocessor

Flaisher, Alon, Gluska, Alon, Singerman, Eli

Year:

2007

Language:

english

File:

PDF, 233 KB

english, 2007

8

[ACM Press the conference - Munich, Germany (2008.03.10-2008.03.14)] Proceedings of the conference on Design, automation and test in Europe - DATE '08 - Efficient symbolic simulation of low level software

Arons, Tamarah, Elster, Elad, Ozer, Shlomit, Shalev, Jonathan, Singerman, Eli

Year:

2008

Language:

english

File:

PDF, 179 KB

english, 2008

9

[ACM Press the The 51st Annual Design Automation Conference - San Francisco, CA, USA (2014.06.01-2014.06.05)] Proceedings of the The 51st Annual Design Automation Conference on Design Automation Conference - DAC '14 - Validation of SoC Firmware-Hardware Flows

Abarbanel, Yael, Singerman, Eli, Vardi, Moshe Y.

Year:

2014

Language:

english

File:

PDF, 291 KB

english, 2014

10

[ACM Press the 48th Design Automation Conference - San Diego, California (2011.06.05-2011.06.10)] Proceedings of the 48th Design Automation Conference on - DAC '11 - Transaction based pre-to-post silicon validation

Singerman, Eli, Abarbanel, Yael, Baartmans, Sean

Year:

2011

Language:

english

File:

PDF, 602 KB

english, 2011

11

[IEEE 2014 Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2014) - Lausanne, Switzerland (2014.10.19-2014.10.21)] 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE) - From visual to logical formalisms for SoC validation

Fraer, Ranan, Keren, Doron, Khasidashvili, Zurab, Novakovsky, Alexander, Puder, Avi, Singerman, Eli, Talmor, Eran, Vardi, Moshe Y., Yang, Jin

Year:

2014

Language:

english

File:

PDF, 632 KB

english, 2014

12

[IEEE Formal Methods in Computer Aided Design (FMCAD'07) - Austin, TX, USA (2007.11.11-2007.11.14)] Formal Methods in Computer Aided Design (FMCAD'07) - Case study: Integrating FV and DV in the Verification of the Intel® Core^{TM} 2 Duo Microprocessor

Flaisher, Alon, Gluska, Alon, Singerman, Eli

Year:

2007

Language:

english

File:

PDF, 233 KB

english, 2007

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски